941. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
942. The P=NP question and Geodel's lost letter
پدیدآورنده : Richard J. Lipton
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
943. The P=NP question and Geodel's lost letter
پدیدآورنده : / Richard J. Lipton
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
944. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
945. The Pleadings Game :
پدیدآورنده : by Thomas F. Gordon.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy of law.
رده :
K213
.
B984
1995
946. The Semantic Web - ISWC 2020 [electronic resources
پدیدآورنده : / edited by Jeff Z. Pan...[et al.]
کتابخانه: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)
موضوع : Database management, Mathematical logic.,Natural language processing (Computer science).
رده :
QA76
.
9
.
D3
S4
2020
947. The Semantics and Proof Theory of the Logic of Bunched Implications
پدیدآورنده : by David J. Pym.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General).
948. The Z8000 microprocessor, a design handbook
پدیدآورنده : Fawcett, Bradly K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits ، Electronic digital computers,، Logic design,، Zilog Model Z-08 )Computer(
رده :
TK
7888
.
F285
1982
949. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
950. <The> design of a Micro processor
پدیدآورنده : Wilhelm G.sproth ; with contribotions by members of the IBM Development Team
کتابخانه: (کرمان)
موضوع : Microprocessoes - Design and constrvction - Data processing,logic design,computer - qided design
رده :
TK
7895
.
M5
,
S67
1989
951. <The> design of a Micro processor
پدیدآورنده : Wilhelm G.sproth ; with contribotions by members of the IBM Development Team
کتابخانه: (کرمان)
موضوع : Microprocessoes - Design and constrvction - Data processing,logic design,computer - qided design
رده :
TK
7895
.
M5
,
S67
1989
952. The design of a micorprocessor
پدیدآورنده : / Wilhelm G. Spruth with contributins by members of the IBM Development Team
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Microprocessors - Design and construction - Data processing,Logic desingn,Computer - Aided design
رده :
621
.
3916
S771D
953. The essence of logic
پدیدآورنده : Kelly, John Joseph
کتابخانه: (طهران)
موضوع : Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
K396
1996
954. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
955. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: (طهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
956. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
957. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
958. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
959. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
960. The mathematics of inheritance systems /
پدیدآورنده : David S. Touretzky
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer architecture,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
A73
T67
1986
